nLab Ugo Dal Lago

Redirected from "Jim Lambek".

Selected writings

On linear logic and quantum circuit diagrams:

On (categorical semantics for) dynamic lifting in the quantum programming languageQuipper”:

category: people

Last revised on September 11, 2023 at 13:11:37. See the history of this page for a list of all contributions to it.